1. FME'94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24 - 28, 1994, proceedings
پدیدآورنده: Maurice Naftalin, Tim Denvir, Miquet Bertran )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
873
2. Formal Aspects of Measurement :
پدیدآورنده: edited by Tim Denvir, Rosalind Herman, Robin W. Whitty.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Software engineering.
3. Introduction to Discrete Mathematics for Software Engineering
پدیدآورنده: / Tim ,Denvir
کتابخانه: کتابخانه و مدیریت دانش دانشکدگان مدیریت (دانشگاه تهران) (تهران)
موضوع: Electronic Data processing - Mathematics,Software
رده :
510
D416i
4. Introduction to discrete mathematics for software engineering
پدیدآورنده: Denvir, Tim
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Electronic data processing mathematics
رده :
QA
76
.
9
.
M35
5. Introduction to discrete mathematics for software engineering
پدیدآورنده: / Tim Denvir
کتابخانه: کتابخانه مؤسسه ژئوفیزیک (دانشگاه تهران) (تهران)
موضوع: Electronic data processing--mathematics
رده :
QA
76
.
9
.
M35
6. Introduction to discrete mathematics for software engineering
پدیدآورنده: Denvir, Tim
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics ، Electronic data processing,، Software engineering
رده :
QA
76
.
9
.
M35
D45
1986
7. Introduction to discrete mathematics for software engineering
پدیدآورنده: DENVIR,TIM
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DATA PROCESSING-MATHEMATICS
رده :
QA
76
.
9
.
M35
D45
